Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT

FunnyQT1 is a new model querying and transformation approach which is implemented as an API for the functional, JVM-based Lisp-dialect Clojure. It provides several sub-APIs for implementing different kinds of queries and transformations. For example, there is a model-to-model transformation API, and there is an in-place transformation API for writing programmed graph transformations. FunnyQT currently supports EMF and JGraLab models, and it can be extended to other modeling frameworks, too. For solving the tasks of this transformation case2, FunnyQT’s model transformation API has been used for the initialization transformation, while the reduction transformation has been tackled algorithmically using the plain querying and model manipulation APIs. This solution has won the best overall solution award and the best efficiency award for this case.